The category of varieties and interpretations is alg-universal
نویسنده
چکیده
A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.
منابع مشابه
Weaker Universalities in Semigroup Varieties
A variety V has an alg-universal n-expansion if the addition of n nullary operations to algebras from V produces an alg-universal category. It is proved that any semigroup variety V containing a semigroup that is neither an inflation of a completely simple semigroup nor an inflation of a semilattice of groups has an alg-universal 3-expansion. We say that a variety V is var-relatively alg-univer...
متن کاملOn Universality of Semigroup Varieties
To Professor Jǐŕı Rosický on his 60th birthday Abstra t. A category K is called α-determined if every set of non-isomorphic Kobjects such that their endomorphism monoids are isomorphic has a cardinality less than α. A quasivariety Q is called Q-universal if the lattice of all subquasivarieties of any quasivariety of finite type is a homomorphic image of a sublattice of the lattice of all subqua...
متن کاملFinitary set endofunctors are alg-universal
A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of finitary endofunctors of the category Set is alg-universal. We also present an example of a proper class of accessible set functors with no natural transformations between them (except the obvious identities).
متن کاملOn lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملWeak alg-universality and Q-universality of semigroup quasivarieties
In an earlier paper, the authors showed that standard semigroups M1, M2 andM3 play an important role in the classification of weaker versions of alg-universality of semigroup varieties. This paper shows that quasivarieties generated by M2 and M3 are neither relatively alg-universal nor Q-universal, while there do exist finite semigroups S2 and S3 generating the same semigroup variety as M2 and ...
متن کامل